REF, NoConds \\[0ex]let \$x = $a$ in $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(let \$x = $a$ in $b$)